Sfoglia per Rivista ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE
Special Issue on "CALCULEMUS: Systems for Integrated Computation and Deduction"
1999-01-01 Armando, Alessandro; Jabelean, T.
The Control Component of Open Mechanized Reasoning Systems
1999-01-01 Armando, Alessandro; Coglio, A.; Giunchiglia, F.
TSAT++: an Open Platform for Satisfiability Modulo Theories
2005-01-01 Armando, Alessandro; Castellini, C.; Giunchiglia, E.; Idini, M.; Maratea, M.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Special Issue on "CALCULEMUS: Systems for Integrated Computation and Deduction" | 1-gen-1999 | Armando, Alessandro; Jabelean, T. | |
The Control Component of Open Mechanized Reasoning Systems | 1-gen-1999 | Armando, Alessandro; Coglio, A.; Giunchiglia, F. | |
TSAT++: an Open Platform for Satisfiability Modulo Theories | 1-gen-2005 | Armando, Alessandro; Castellini, C.; Giunchiglia, E.; Idini, M.; Maratea, M. |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile